Date: Mon, 11 Nov 1996 17:29:40 GMT
Server: NCSA/1.5
Content-type: text/html
Last-modified: Wed, 30 Aug 1995 18:50:31 GMT
Content-length: 7929








<html>
<head>

<title>
CS 736 Reading List
</title>

<link rev=made href="mailto:solomon@cs.wisc.edu">

</head>

<body>

<h1>
CS 736 Spring 1995<br>
Advanced Operating Systems<br>
Reading List
</h1>
<a name="readings">
This is the list of readings for CS 736, and the approximate order in which
we will read them.
</a>
Changes to this list are possible during the course of the semester.
A <!WA0><!WA0><!WA0><a href="#schedule"> tentative schedule </a> is provided below.
<ol>
<h3>Synchronization and Communication</h3>

<li>
<a name="ref1">
E. W. Dijkstra,
</a>
``Hierarchical ordering of sequential processes'',
in <i>Operating Systems Techniques</i>, C. A. R. Hoare and R. H. Perrott (editors), Academic Press, London, 1972, 72-93.
Also <i>Acta Informatica</i> 1 (1971), pp 115-138.

<li>
<a name="ref2">
G. R. Andrews and F. B. Schneider,
</a>
``Concepts and Notations for Concurrent Programming'',
<i>Computing Surveys 15</i>, 1
(March 1983), 3-44.

<li>
<a name="ref3">
B. W. Lampson and D. D. Redell,
</a>
``Experiences with Processes and Monitors in Mesa'',
<i>Comm. of the ACM 23</i>, 2
(February 1980), 105-117.

<li>
<a name="ref4">













B. D. Marsh, M. L. Scott, T. J. LeBlanc and E. P. Markatos,
</a>
``First-Class User-Level Threads'',
<i>SOSP13</i>,
, 110-121.

<li>
<a name="ref5">
H. Massalin and C. Pu,
</a>
``Threads and Input/Output in the Synthesis Kernel'',
<i>SOSP12</i>,
, 191-201.

<li>
<a name="ref6">
H. C. Lauer and R. M. Needham,
</a>
``On the Duality of Operating System Structures'',
<i>Operating Systems Review 13</i>, 2
(April 1979), 3-19.
Originally in Proc. 2nd Int'l Symposium on Operating Systems, IRIA, October 1978.
<h3>Memory Organization and Management</h3>

<li>
<a name="ref7">
A. Bensoussan, C. T. Clingen and R. C. Daley,
</a>
``The Multics Virtual Memory:  Concepts and Design'',
<i>Comm. of the ACM 15</i>, 5
(May 1972), 308-318.

<li>
<a name="ref8">
R. S. Fabry,
</a>
``Capability-Based Addressing'',
<i>Comm. of the ACM 17</i>, 7
(July 1974), 403-412.

<li>
<a name="ref9">
P. J. Denning,
</a>
``The Working Set Model of Program Behavior'',
<i>Comm. of the ACM 11</i>, 5
(May 1968), 323-333.

<li>
<a name="ref10">
R. Carr and J. Hennessy,
</a>
``WSCLOCK-A Simple and Effective Algorithm for Virtual Memory Management'',













<i>SOSP8</i>,
, 87-95.

<li>
<a name="ref11">
O. Babaoglu and W. Joy,
</a>
``Converting a Swap-Based System to do Paging in an Architecture Lacking Page-Reference Bits'',
<i>SOSP8</i>,
, 78-86.

<li>
<a name="ref12">
M. Young, A. Tevanian, R. Rashid, D. Golub, J. Eppinger, J. Chew, W. Bolosky, D. Black and R. Baron,
</a>
``The Duality of Memory and Communication in the Implementation of a Multiprocessor Operating System'',
<i>SOSP11</i>,
, 63-76.
<h3>Case Studies and Experiences</h3>

<li>
<a name="ref13">
H. C. Lauer,
</a>
``Observations on the Development of an Operating System'',
<i>SOSP8</i>,
, 30-36.

<li>
<a name="ref14">
B. W. Lampson,
</a>
``Hints for Computer System Design'',
<i>SOSP9</i>,
, 33-48.
<h3>File Systems</h3>

<li>
<a name="ref15">
M. K. McKusick, W. N. Joy, S. J. Leffler and R. S. Fabry,
</a>
``A Fast File System for UNIX'',
<i>Trans. Computer Systems 2</i>, 3
(August 1984), 181-197.

<li>
<a name="ref16">
M. Rosenblum and J. K. Ousterhout,
</a>
``The Design and Implementation of a Log-Structured File System'',
<i>SOSP13</i>,
, 1-15.














<li>
<a name="ref17">
E. Levy and A. Silberschatz,
</a>
``Distributed File Systems:  Concepts and Examples'',
<i>Computing Surveys 22</i>, 4
(December 1990), 321-374.
<h3>Protection and Security</h3>

<li>
<a name="ref18">
A. K. Jones and W. A. Wulf,
</a>
``Towards the Design of Secure Systems'',
<i>Software-Practice & Experience 5</i>, 4
(1975), 321-336.

<li>
<a name="ref19">
F. T. Gramp and R. H. Morris,
</a>
``UNIX Operating System Security'',
<i>AT&T Bell Laboratories Technical Journal 63</i>, 8
(October 1984), 1649-1672.

<li>
<a name="ref20">
G. J. Popek and C. S. Kline,
</a>
``Encryption and Secure Computer Networks'',
<i>Computing Surveys 11</i>, 4
(December 1979), 331-356.

<li>
<a name="ref21">
J. G. Steiner, C. Neuman and J. I. Schiller,
</a>
``Kerberos: An Authentication Service for Open Network Systems'',
<i>USENIX '88</i>,
Dallas, TX,
February 1988, 191-202.
<h3>Distributed Systems</h3>

<li>
<a name="ref22">
A. D. Birrell, R. Levin, R. M. Needham and M. D. Schroeder,
</a>
``Grapevine:  An Exercise in Distributed Computing'',
<i>Comm. of the ACM 25</i>, 4
(April 1982), 260-274.

<li>
<a name="ref23">













A. D. Birrell and B. J. Nelson,
</a>
``Implementing Remote Procedure Calls'',
<i>Trans. Computer Systems 2</i>, 1
(February 1984), 39-59.
<h3>Interesting Kernels</h3>

<li>
<a name="ref24">
R. Pike, D. L. Presotto, K. Thompson and H. Trickey,
</a>
``Plan 9 from Bell Labs'',
<i>Proceedings of the 1990 USENIX Conference</i>,
.

<li>
<a name="ref25">
D. R. Cheriton and W. Zwaenepoel,
</a>
``The Distributed V Kernel and its Performance for Diskless Workstations'',
<i>SOSP9</i>,
, 128-139.

<li>
<a name="ref26">
G. Hamilton and P. Kougiouris,
</a>
``The Spring Nucleus: A Microkernel for Objects'',
<i>1993 Summer USENIX Conference</i>,
Cincinatti,
June 1993, 3-44.
</ol>
<a name="schedule">
<h2> Schedule </h2>
</a>
The tentative schedule for this semester is as follows.
It may be necessary to revise this schedule as the semester progresses.
The complete bibilography is listed
<!WA1><!WA1><!WA1><a href="#readings">
above.
</a>

<dl compact>
<dt> <b>Week 1</b> (Sep 5 - Sep 7) <dd>
<!WA2><!WA2><!WA2><a href="#ref1"> Dijstra: Hierarchical Ordering </a>

<dt> <b>Week 2</b> (Sep 12 - Sep 14) <dd>
<!WA3><!WA3><!WA3><a href="#ref2"> Andrews and Schneider: Synchronization Survey </a>

<dt> <b>Week 3</b> (Sep 19 - Sep 21) <dd>
<!WA4><!WA4><!WA4><a href="#ref3"> Lampson and Redell: Monitors<br> </a>
<!WA5><!WA5><!WA5><a href="#ref4"> Marsh <em> et al </em>: Threads </a>














<dt> <b>Week 4</b> (Sep 26 - Sep 28) <dd>
<!WA6><!WA6><!WA6><a href="#ref5"> Massalin and Pu: Systhesis Kernel<br> </a>
<!WA7><!WA7><!WA7><a href="#ref6"> Lauer and Needham: Duality </a>

<dt> <b>Week 5</b> (Oct 3 - Oct 5) <dd>
<!WA8><!WA8><!WA8><a href="#ref7"> Bensourssan <em> et al</em>: Multics<br> </a>
<!WA9><!WA9><!WA9><a href="#ref8"> Fabry: Capibility-based Addressing </a>

<dt> <b>Week 6</b> (Oct 10 - Oct 12) <dd>
<!WA10><!WA10><!WA10><a href="#ref8"> Denning: Working Sets<br> </a>
<!WA11><!WA11><!WA11><a href="#ref10"> Carr and Hennesy: WSCLOCK<br> </a>
<!WA12><!WA12><!WA12><a href="#ref11"> Ozalp and Joy: Berkeley Unix </a>

<dt> <b>Week 7</b> (Oct 17 - Oct 19) <dd>
<!WA13><!WA13><!WA13><a href="#ref12"> Young <em> et al</em>: Mach </a>

<dt> <b>Week 8</b> (Oct 24 - Oct 26) <dd>
<!WA14><!WA14><!WA14><a href="#ref13"> Lauer: Observations<br> </a>
<!WA15><!WA15><!WA15><a href="#ref14"> Lampson: Hints </a>

<dt> <b>Midterm Exam</b> <dd> Wednesday, October 25, 7:15 PM.

<dt> <b>Week 9</b> (Oct 31 - Nov 2) <dd>
<!WA16><!WA16><!WA16><a href="#ref15"> McKusick <em> et al</em>: Unix Fast File System<br> </a>
<!WA17><!WA17><!WA17><a href="#ref16"> Rosenblum and Ousterhout: Log-structured File System </a>

<dt> <b>Week 10</b> (Nov 7 - Nov 9) <dd>
<!WA18><!WA18><!WA18><a href="#ref16"> Levy and Silberschatz:  Distributed File System Survey </a>

<dt> <b>Week 11</b> (Nov 14 - Nov 16) <dd>
<!WA19><!WA19><!WA19><a href="#ref18"> Jones and Wulf:  Capabilities<br> </a>
<!WA20><!WA20><!WA20><a href="#ref19"> Gramp and Morris:  Unix Security<br> </a>
<!WA21><!WA21><!WA21><a href="#ref20"> Popek and Kline: Encryption and Networks </a>

<dt> <b>Week 12</b> (Nov 21) <dd>
<!WA22><!WA22><!WA22><a href="#ref21"> Steiner <em> et al</em>: Kerberos </a>

<dt> <b>Week 13</b> (Nov 28 - Nov 30) <dd>
<!WA23><!WA23><!WA23><a href="#ref22"> Birrell <em>et al</em>: Grapevine<br> </a>
<!WA24><!WA24><!WA24><a href="#ref23"> Birrell and Nelson:  Remote Procedure Call </a>

<dt> <b>Week 14</b> (Dec 4 - Dec 6) <dd>
<!WA25><!WA25><!WA25><a href="#ref24"> Pike <em>et al</em>: Plan 9<br> </a>
<!WA26><!WA26><!WA26><a href="#ref25"> Cheriton and Zwaenepoel: V Kernel </a>

<dt> <b>Week 15</b> (Dec 11 - Dec 13) <dd>
<!WA27><!WA27><!WA27><a href="#ref26"> Hamilton and Kougiouris: Spring Nucleus<br> </a>
Project presentations.

</dl>

<hr>














<address>
<i>
<!WA28><!WA28><!WA28><a HREF="http://www.cs.wisc.edu/~solomon/solomon.html">
solomon@cs.wisc.edu
</a>
<br>
Wed Aug 30 13:38:37 CDT 1995
</i>
</address>

</body>

</html>














































